7.27/7.92	unsat
