4.40/5.97	unsat
