5.38/7.92	unsat
