5.37/7.97	unsat
