9.77/9.85	unsat
