31.98/32.30	unsat
