6.57/7.97	unsat
