9.24/10.85	unsat
