9.87/9.99	unsat
