2.38/2.92	unsat
