5.07/6.57	unsat
