34.19/34.23	unsat
