8.38/10.12	unsat
