9.49/10.71	unsat
