9.29/10.85	unsat
