9.87/9.90	unsat
