8.36/10.00	unsat
