9.66/10.00	unsat
