1.40/6.44	unsat
