31.15/32.20	unsat
