32.83/32.91	unsat
