31.44/33.26	unsat
