6.57/10.09	unsat
