32.17/36.62	unsat
