31.12/32.93	unsat
