31.76/32.79	unsat
