Ridurre 4-Sat a 5-Sat

Question

Dato è una riduzione da 4-Sat a 5-Sat. Come è possibile descrivere una tale funzione? Ho trovato alcune informazioni sulla riduzione 3-Sat a 4-Sat qui, ma non può aiutarmi così tanto.