31.70/32.55	unsat
