31.19/32.26	unsat
