7.67/7.97	unsat
