9.77/9.88	unsat
