7.87/7.92	unsat
