7.88/7.97	unsat
