6.87/7.97	unsat
