8.60/10.83	unsat
