1.39/3.44	unsat
