31.98/32.01	unsat
