8.60/9.90	unsat
