3.40/3.44	unsat
