33.19/34.13	unsat
