34.03/36.70	unsat
