9.77/15.88	unsat
