34.44/35.37	unsat
