9.38/12.69	unsat
