31.84/32.62	unsat
