1.18/3.44	unsat
