2.94/3.44	unsat
