4.99/6.57	unsat
