1.39/4.12	unsat
