7.57/7.85	unsat
