2.98/7.92	unsat
