1.39/3.12	unsat
