11.38/12.17	unsat
