34.19/34.20	unsat
