8.38/10.25	unsat
