9.83/10.83	unsat
