1.07/3.40	unsat
