7.87/9.85	unsat
