4.38/4.92	unsat
