11.38/12.92	unsat
