6.57/10.01	unsat
