12.38/12.42	unsat
