8.29/10.62	unsat
