1.39/3.24	unsat
