31.12/32.40	unsat
