1.38/1.92	unsat
