31.69/32.62	unsat
