32.44/33.36	unsat
