5.37/5.97	unsat
