34.24/34.46	unsat
