10.38/12.51	unsat
