7.84/7.92	unsat
